GNU Prolog

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
GNU Prolog
software
Logo
Logo
GenereCompilatore
SviluppatoreDaniel Diaz
Data prima versionegennaio 1996
Ultima versione1.5.0 (28 luglio 2021)
Sistema operativoGNU
Unix-like
Microsoft Windows
LinguaggioC
LicenzaGNU LGPL v3+ e GNU GPL v2+
(licenza libera)
Sito webwww.gprolog.org/

GNU Prolog (chiamato anche gprolog) è un compilatore sviluppato dal progetto GNU con un ambiente interattivo di debugging per il Prolog, disponibile per Unix e Microsoft Windows. Supporta anche diverse estensioni al Prolog, includendo la programmazione a vincoli su un insieme finito, parsing usando la grammatica a clausole definite, ed altre features.

Il compilatore converte il codice sorgente in bytecode che sarà poi interpretato da una Warren abstract machine (WAM), e sarà infine convertito in un eseguibile stand-alone.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Software libero: accedi alle voci di Wikipedia che trattano di software libero